\begin{tabbing}
$\forall$\=${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $v$:ecl{-}trans{-}tuple\{i:l\}(${\it ds}$; ${\it da}$),\+
\\[0ex]$L_{1}$,$L_{2}$:(top List).
\-\\[0ex]sqequal(\=ecl{-}trans{-}state($v$; append($L_{1}$; $L_{2}$));\+
\\[0ex]ecl{-}trans{-}state{-}from($v$; ecl{-}trans{-}state($v$; $L_{1}$); $L_{2}$))
\-
\end{tabbing}